package no.uio.ifi.cop.prover.cmp;

import java.util.Comparator;

import no.uio.ifi.cop.prover.RuleMatcher;
import no.uio.ifi.cop.cl.Axiom;


/**
 * We respect nothing but input order, this is what CL.pl and
 * geolog uses, at least by default.
 *
 * @version 1.0
 * @author bjarneh@ifi.uio.no
 */

public class InputOrder implements Comparator<RuleMatcher>{

    public int compare(RuleMatcher first, RuleMatcher second){

        if( first == second ){ return 0; }
        if( first.getId() == second.getId() ){ return 0; }
        if( first.getId() < second.getId()){ return -1; }
        return 1;
    }
}
